/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package tp2ia_partie2.objects;

import java.util.LinkedHashSet;
import java.util.Set;

/**
 *
 * @author hp
 */
public class DefiniesClause extends Clause {

    public DefiniesClause(Litteral fait) {
        super(null);
        Litteral f = new Litteral(fait.getC());
        f.setStatutValue(true);
        Set<Litteral> litteraux = new LinkedHashSet<Litteral>();
        litteraux.add(f);
        this.litteraux = litteraux;
    }

    @Override
    public String toString() {
        return "DefiniesClause{ " + litteraux.iterator().next().getC() + " }";
    }
}
